A Modeling and Detection of Deadlock in Early Stage of System using UML
نویسندگان
چکیده
As we know there is an increasing demand from the software industry to develop software model which can communicate and exchange information concurrently in multiprogramming environment. This is very difficult to find and eliminate concurrency problem like deadlock in a large and complex system. There is a need of model to identify and recognize concurrency problem such as deadlocks in the early stage in system and design model to get rid of these kinds of problems. In this paper author proposed a UML model for detecting the concurrency in early stage of design system. The author has also proposed a sequence diagram, activity diagram and use case diagram for the above model.
منابع مشابه
Quantitative evaluation of software security: an approach based on UML/SecAM and evidence theory
Quantitative and model-based prediction of security in the architecture design stage facilitates early detection of design faults hence reducing modification costs in subsequent stages of software life cycle. However, an important question arises with respect to the accuracy of input parameters. In practice, security parameters can rarely be estimated accurately due to the lack of sufficient kn...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کامل. a Uml/marte Detection of Starvation and Deadlocks at the Design Level in Concurrent System
Concurrency problem is when more than one job is executed in parallel. Concurrency problems such as deadlock and starvation should be identified in design process. The existing work is based on the analysis of design models expressed in the Unified Modelling Language (UML).It uses a genetic algorithm to detect concurrency problem. Concurrency information is extracted from system UML models that...
متن کاملA Review on Concurrency Fault Detection Techniques
Abstract— The UML is the most common language that is used for system modeling. But, this language has been designed as a general purpose modeling language that might need modeling constructs for the specific real time embedded (RTE) domain. To fill this lack, OMG has standardized a UML addition, called MARTE. Domain specification UML provides a special way called a profile. The UML profile f...
متن کاملA UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this paper, we propose an approach for transforming UML statechart and collaboration diagrams to Colored Petri net models. This transformation aims to bridge the gap between informal notation (UML diagrams) and more formal n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012